Stone's representation theorem for Boolean hyperalgebras topological version
نویسندگان
چکیده
منابع مشابه
A representation theorem for Boolean contact algebras
We prove a representation theorem for Boolean contact algebras which implies that the axioms for the Region Connection Calculus [20] (RCC) are complete for the class of subalgebras of the algebras of regular closed sets of weakly regular connected T1 spaces.
متن کاملThe Stone Representation Theorem for Boolean Algebras
The Stone Representation Theorem for Boolean Algebras, first proved by M. H. Stone in 1936 ([4]), states that every Boolean algebra is isomorphic to a field of sets. This paper motivates and presents a proof.
متن کاملA topological version of Levinson’s theorem
In the framework of scattering theory, we show how the scattering matrix can be related to the projection on the bound states by an index map of K-theory. Pairings with appropriate cyclic cocyles lead naturally to a topological version of Levinson’s theorem.
متن کاملThe Topological Version of Fodor’s Theorem
The following purely topological generalization is given of Fodor’s theorem from [F1] (also known as the “pressing down lemma”): Let X be a locally compact, non-compact T2 space such that any two closed unbounded (c u b) subsets of X intersect [of course, a set is bounded if it has compact closure]; call S ⊂ X stationary if it meets every c u b in X. Then for every neighbourhood assignment U de...
متن کاملA Topological Representation Theorem for tropical oriented matroids
Tropical oriented matroids were defined by Ardila and Develin in 2007. They are a tropical analogue of classical oriented matroids in the sense that they encode the properties of the types of points in an arrangement of tropical hyperplanes – in much the same way as the covectors of (classical) oriented matroids describe the types in arrangements of linear hyperplanes. Not every oriented matroi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Mathematics
سال: 1996
ISSN: 0012-365X
DOI: 10.1016/0012-365x(94)00384-u